https://www.passeidireto.com/arquivo/94190246/logica-computacional-conectivos-argumentos-validos-equivalencias-e-predicados
Recomendo esse arquivo que achei no Passei Direto